Precise Specification and Automatic Application of Design Patterns
نویسندگان
چکیده
Despite vast interest in design patterns, the specification and application of patterns is generally assumed to rely on manual implementation. We describe a precise method of specifying how a design pattern is applied: by phrasing it as an algorithm in a meta-programming language. We present a prototype of a tool that supports the specification of design patterns and their realization in a given program. Our prototype allows automatic application of design patterns without obstructing the source code text from the programmer, whom may edit it at will. We demonstrate pattern specification in meta-programming techniques and a sample outcome of its application.
منابع مشابه
An automatic test case generator for evaluating implementation of access control policies
One of the main requirements for providing software security is the enforcement of access control policies which aim to protect resources of the system against unauthorized accesses. Any error in the implementation of such policies may lead to undesirable outcomes. For testing the implementation of access control policies, it is preferred to use automated methods which are faster and more relia...
متن کاملGiving “The Quality” a Name Precise Specification of Design Patterns: A Second Look at the Manuscripts
We discuss the prospects of precise specification of design patterns. We analyze the manuscript of the GoF patterns catalog, and prove that the essence of many design patterns can be preserved through the translation to some formal language. Contemporary Means of Specification There is widespread interest in design patterns [GoF 95; Coplien & Schmidt 95; Vlissides, Coplien & Kerth 96; Buschmann...
متن کاملAn Approach to the Specification of Software Security Patterns
Software Security patterns enforce security characteristics already at the design phase of a software system. They have been defined in analogy to the well-established Design Patterns that help to develop well-structured software. Since there is no systematic way to identify them we attempt to establish a common specification methodology, in order to enable an automatic recognition of existing ...
متن کاملA Formal Language for Design Patterns
This article sets forth a rigorous approach to the concept of a ‘design pattern language’. We present a method of using a programming language to manipulate constructs of ordinary OOP language (such as classes and relations). We show that the specification of many design patterns can phrased as algorithms in this metaprogramming environment. The advantage is in delivering a precise method of de...
متن کاملAutomatic Landing Guidance Systems and Design of an Optimal Landing Control System
Guidance and control of aircraft in the landing phase imposes extra pilot work loads, hence application of automatic landing control systems is of great importance. In this study automatic landing control systems are introduced and an optimal landing control system is designed. The control system performance criteria are based on minimum control effort. The designed system is simulated for a tr...
متن کامل